Simplifying Rational Functions